| 1. Identity statement | |
| Reference Type | Conference Paper (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | 8JMKD3MGP3W/3FCLCN8 |
| Repository | sid.inpe.br/plutao/2013/12.12.17.07 (restricted access) |
| Last Update | 2014:01.10.16.17.57 (UTC) administrator |
| Metadata Repository | sid.inpe.br/plutao/2013/12.12.17.07.26 |
| Metadata Last Update | 2018:06.04.23.39.20 (UTC) administrator |
| ISBN | 978-1-4673-4471-5 |
| Label | lattes: 3237709114127674 1 RomeroSchnFerr:2013:ToApAl |
| Citation Key | RomeroSchnFerr:2013:ToApAl |
| Title | Towards the Applicability of Alf to Model Cyber-Physical Systems  |
| Year | 2013 |
| Access Date | 2024, May 18 |
| Secondary Type | PRE CI |
| Number of Files | 1 |
| Size | 288 KiB |
| 2. Context | |
| Author | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Maurício Gonçalves Vieira |
| Resume Identifier | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
| Group | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 University of Kaiserslautern Computer Science Department, Po box 3049, 67653, Kaiserslautern, Germany 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Author e-Mail Address | 1 romgerale@yahoo.com.br |
| e-Mail Address | romgerale@yahoo.com.br |
| Conference Name | Federated Conference on Computer Science and Information Systems. |
| Conference Location | Kraków |
| Date | 2013 |
| Pages | 1427–1434 |
| Book Title | Proceedings |
| Tertiary Type | Paper |
| History (UTC) | 2013-12-12 17:07:26 :: lattes -> administrator :: 2014-01-09 13:38:07 :: administrator -> marcelo.pazos@sid.inpe.br :: 2013 2014-01-10 16:17:57 :: marcelo.pazos@sid.inpe.br -> administrator :: 2013 2018-06-04 23:39:20 :: administrator -> marcelo.pazos@inpe.br :: 2013 |
| 3. Content and structure | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Content Type | External Contribution |
| Version Type | publisher |
| Abstract | Systems engineers use SysML as a vendorindependent language to model Cyber-Physical Systems. However, SysML does not provide an executable form to define behavior but this is needed to detect critical issues as soon as possible. Action Language for Foundational UML (Alf) integrated with SysML can offer some degree of precision. In this paper, we present an Alf specialization that introduces the synchronous-reactive model of computation to SysML, through definition of not explicitly constrained semantics: timing, concurrency, and inter-object communication. The proposed specialization is well-suited for safety-critical systems because it is deterministic. We study one example already modeled in the literature, to compare these approaches with our one. The initial results show that the proposed specialization helps to couple complexity, provides better composition, and enables deterministic behavior definition. |
| Area | ETES |
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Towards the Applicability... |
| Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Towards the Applicability... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| Language | en |
| User Group | lattes marcelo.pazos@inpe.br self-uploading-INPE-MCTI-GOV-BR |
| Reader Group | administrator marcelo.pazos@inpe.br |
| Visibility | shown |
| Read Permission | deny from all and allow from 150.163 |
| Update Permission | not transferred |
| 5. Allied materials | |
| Mirror Repository | iconet.com.br/banon/2006/11.26.21.31 |
| Next Higher Units | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
| Citing Item List | sid.inpe.br/bibdigital/2013/10.14.22.20 3 sid.inpe.br/bibdigital/2013/10.19.00.29 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 1 |
| Host Collection | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notes | |
| Empty Fields | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format issn keywords lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark type url volume |
| 7. Description control | |
| e-Mail (login) | marcelo.pazos@inpe.br |
| update | |